every compact space is locally compact